$\forall$$E$:Type\{i\}, ${\it pred?}$:($E$$\rightarrow$(?$E$)), $X_{1}$,$X_{2}$:Type\{i\}, ${\it info}$:($E$$\rightarrow$((:Id $\times$ $X_{1}$) + (:(:IdLnk $\times$ $E$) $\times$ $X_{2}$))).
\\[0ex]EOrderAxioms\{i:l\}($E$; ${\it pred?}$; ${\it info}$) $\in$ prop\{i':l\}